Logic Problems Programming